Construction and stepwise refinement of dependability models
نویسندگان
چکیده
منابع مشابه
Stepwise Construction and Refinement of Dependability Models
This paper presents a stepwise approach for dependability modeling, based on Generalized Stochastic Petri Nets (GSPNs). The first-step model called functional-level model, can be built as early as system functional specifications and then completed by the structural model as soon as the system architecture is known, even at a very high level. The latter can be refined according to three differe...
متن کاملCorrect by Construction Networks using Stepwise Refinement
Building software-defined network controllers is an exercise in software development and, as such, likely to introduce bugs. We present CoCoNet, a framework for SDN development that facilitates both the design and verification of complex networks using stepwise refinement to move from a high-level specification to the final network implementation. A CoCoNet user specifies intermediate design le...
متن کاملCorrect by Construction Networks Using Stepwise Refinement
Building software-defined network controllers is an exercise in software development and, as such, likely to introduce bugs. We present Cocoon, a framework for SDN development that facilitates both the design and verification of complex networks using stepwise refinement to move from a high-level specification to the final network implementation. A Cocoon user specifies intermediate design leve...
متن کاملStepwise Refinement of Processes
Industry is looking to create a market in reliable “plug-and-play” components. To model components in a modular style it would be useful to combine event-based and state-based reasoning. One of the first steps in building an event-based model is to decide upon a set of atomic actions. This choice will depend on the formalism used, and may restrict in quite unexpected ways what we are able to fo...
متن کاملStepwise Development of Simulink Models Using the Refinement Calculus Framework
Simulink is a popular tool for model-based development of control systems. However, due to the complexity caused by the increasing demand for sophisticated controllers, validation of Simulink models is becoming a more difficult task. To ensure correctness and reliability of large models, it is important to be able to reason about model parts and their interactions. This paper provides a definit...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Performance Evaluation
سال: 2004
ISSN: 0166-5316
DOI: 10.1016/j.peva.2003.07.012